f: a -> b -> c where a implements A

f
